#olimpiadas matemáticas

MaxProof: Demostraciones matemáticas escalables con RL generativo-verificador

Descubre MaxProof: RL generativo-verificador y escalado poblacional para récords en olimpiadas. Supera humanos en IMO y USAMO.